TipoTítulo Autor EdiciónDisponibilidadValoración
coverllll
Libro
Hyperproof Barwise, Jon (c1994)
Domicilio

----------
coverllll
Libro
The language of first-order logic: including the IBM-compatible Windows version of Tarski's World 4.0 Barwise, Jon 3rd ed. rev. and expanded   (c1992)
----------
Sin Portada
Libro
The language of first-order logic: Including the IBM-compatible Windows version of Tarski's World 4.0 Barwise, Jon 3rd ed. rev. and expanded   (1992)
Domicilio

----------